(define (problem chainOfRooms)
  (:domain chainOfRooms)
  (:objects r1 r2 r3 r4 r5 r6 r7 r8 r9 r10 r11 r12 r13 r14 r15 r16 r17 r18 r19 r20 r21 r22 r23 r24 r25 r26 r27 r28 r29 r30 - room)
  (:init (agent_position r1)
         (visited r1)
         (light_off r1)
         (light_off r2)
         (light_off r3)
         (light_off r4)
         (light_off r5)
         (light_off r6)
         (light_off r7)
         (light_off r8)
         (light_off r9)
         (light_off r10)
         (light_off r11)
         (light_off r12)
         (light_off r13)
         (light_off r14)
         (light_off r15)
         (light_off r16)
         (light_off r17)
         (light_off r18)
         (light_off r19)
         (light_off r20)
         (light_off r21)
         (light_off r22)
         (light_off r23)
         (light_off r24)
         (light_off r25)
         (light_off r26)
         (light_off r27)
         (light_off r28)
         (light_off r29)
         (adjacent r1 r2)
         (adjacent r2 r3)
         (adjacent r3 r4)
         (adjacent r4 r5)
         (adjacent r5 r6)
         (adjacent r6 r7)
         (adjacent r7 r8)
         (adjacent r8 r9)
         (adjacent r9 r10)
         (adjacent r10 r11)
         (adjacent r11 r12)
         (adjacent r12 r13)
         (adjacent r13 r14)
         (adjacent r14 r15)
         (adjacent r15 r16)
         (adjacent r16 r17)
         (adjacent r17 r18)
         (adjacent r18 r19)
         (adjacent r19 r20)
         (adjacent r20 r21)
         (adjacent r21 r22)
         (adjacent r22 r23)
         (adjacent r23 r24)
         (adjacent r24 r25)
         (adjacent r25 r26)
         (adjacent r26 r27)
         (adjacent r27 r28)
         (adjacent r28 r29)
         (adjacent r29 r30)
  )
  (:goal (and (visited r1)
              (visited r2)
              (visited r3)
              (visited r4)
              (visited r5)
              (visited r6)
              (visited r7)
              (visited r8)
              (visited r9)
              (visited r10)
              (visited r11)
              (visited r12)
              (visited r13)
              (visited r14)
              (visited r15)
              (visited r16)
              (visited r17)
              (visited r18)
              (visited r19)
              (visited r20)
              (visited r21)
              (visited r22)
              (visited r23)
              (visited r24)
              (visited r25)
              (visited r26)
              (visited r27)
              (visited r28)
              (visited r29)
              (visited r30)
         )
  )
)
